$\forall$$x$, $y$:Top, ${\it nms}$:(MaName List). if ${\it nms}$ and [] overlap then $x$ else $y$ fi $\sim$ $y$